An Empirical Analysis of Optimization for Max-Margin NLP Jonathan K. Kummerfeld, Taylor Berg-Kirkpatrick and Dan Klein Computer Science Division University of California, Berkeley Berkeley, CA 94720, USA {jkk,tberg,klein

Source URL: www.jkk.name

Terminating tableau calculi for modal logic K with global counting operators Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky School of Computer Science, The University of Manchester, United Kingdom Michal Zawid

Source URL: www.mettel-prover.org

DASH: A Dynamic 16g Hexapedal Robot P. Birkmeyer, K. Peterson and R. S. Fearing Department of Electrical Engingeering and Computer Sciences University of California, Berkeley Berkeley, CaliforniaEmail: {paulb

Source URL: robotics.eecs.berkeley.edu

G ROUP K IT A Groupware Toolkit for Building Real-Time Conferencing Applications Mark Roseman Saul Greenberg Department of Computer Science

Source URL: www.markroseman.com

SYSADMIN Helping Users Create Better Passwords B L A S E U R , PAT R I C K G A G E K E L L E Y, S A R A N G A K O M A N D U R I , J O E L L E E , M I C H A E L M A A S S , M I C H E L L E L . M A Z U R E K , T I M OT H

Source URL: patrickgagekelley.com

• Computer access control
• Obfuscation
• Cryptography
• Computer security
• Password
• Passphrase
• Salt
• Password psychology
• Password fatigue

Directed Graph Exploration Klaus-Tycho Foerster and Roger Wattenhofer Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerland {k-t.foerster,wattenhofer}@tik.ee.ethz.ch

Source URL: www.tik.ee.ethz.ch

• Graph theory
• Mathematics
• Combinatorial optimization
• Edsger W. Dijkstra
• Routing algorithms
• Search algorithms
• Graph traversal
• Shortest path problem
• A* search algorithm
• Directed graph
• Matching
• Connectivity

Computational Cameras: Approaches, Benefits and Limits Shree K. Nayar Computer Science Department Columbia University

Source URL: www1.cs.columbia.edu

• Optics
• Digital photography
• Photography
• Computer vision
• Optical devices
• Computational photography
• Cameras
• Light field
• Range imaging
• Microscopy
• Focus stacking
• Defocus aberration

Under consideration for publication in Math. Struct. in Comp. Science A Judgmental Reconstruction of Modal Logic F R A N K P F E N N I N G† and R O W A N D A V I E S Department of Computer Science

Source URL: hylocore.ruc.dk

Optimal Algorithms for k-Search with Application in Option Pricing Julian Lorenz1 , Konstantinos Panagiotou2 , and Angelika Steger Institute of Theoretical Computer Science, ETH Zurich, 8092 Zurich, Switzerland {jlorenz,

Source URL: www.algorithmictradingpit.com

Wireless computer access at K-State Information Technology Services provides wireless access across campus for both the K-State community and for campus visitors. Instructions for connecting to KSU Wireless 

Source URL: wireless.k-state.edu